Merge "Move `$.extend( OO.ui, mw.widgets )` hack to 'mediawiki.widgets' module"
[lhc/web/wiklou.git] / resources /
drwxr-xr-x   ..
-rw-r--r-- 59988 Resources.php
-rw-r--r-- 4347 ResourcesOOUI.php
drwxr-xr-x - assets
drwxr-xr-x - lib
drwxr-xr-x - src